Operational semantics

Results: 199



#Item
41University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications

University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications

Add to Reading List

Source URL: staff.ustc.edu.cn

Language: English - Date: 2015-04-24 09:43:54
42Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy

Add to Reading List

Source URL: www.schemeworkshop.org

Language: English - Date: 2015-04-20 13:48:41
43An Operational Semantics of Cache Coherent Multicore Architectures∗ Shiji Bijo, Einar Broch Johnsen, Ka I Pun, and S. Lizeth Tapia Tarifa University of Oslo, Norway {shijib, einarj, violet, sltarifa}@ifi.uio.no

An Operational Semantics of Cache Coherent Multicore Architectures∗ Shiji Bijo, Einar Broch Johnsen, Ka I Pun, and S. Lizeth Tapia Tarifa University of Oslo, Norway {shijib, einarj, violet, sltarifa}@ifi.uio.no

Add to Reading List

Source URL: einarj.at.ifi.uio.no

Language: English - Date: 2016-01-07 10:39:37
44Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers)

Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers)

Add to Reading List

Source URL: users.ugent.be

Language: English - Date: 2014-09-18 05:58:35
45Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation

Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation

Add to Reading List

Source URL: ecee.colorado.edu

Language: English - Date: 2010-12-16 12:22:51
46BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta

BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta

Add to Reading List

Source URL: www.cs.uni-salzburg.at

Language: English
47Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK

Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK

Add to Reading List

Source URL: plancomps.dreamhosters.com

Language: English - Date: 2014-11-22 16:20:54
48Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT

Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT

Add to Reading List

Source URL: www.eecs.northwestern.edu

Language: English - Date: 2010-10-18 00:06:19
49A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2016-03-01 11:02:40
50Keywords and phrases Dynamic semantics, scope graphs, memory layout, type soundness, operational semantics Digital Object IdentifierLIPIcsIntroduction

Keywords and phrases Dynamic semantics, scope graphs, memory layout, type soundness, operational semantics Digital Object IdentifierLIPIcsIntroduction

Add to Reading List

Source URL: web.cecs.pdx.edu

Language: English - Date: 2016-05-03 20:27:50